Spatial Reasoning and Ontology: Parts, Wholes, and Locations
نویسنده
چکیده
منابع مشابه
Representing Natural Kinds by Spatial Inclusion and Containment
Biomedical terminologies lack a clear-cut understanding of the semantics of part-whole relations. In order to design a conceptually adequate ontology for the biomedical domain, we investigate different forms of ontological dependencies between parts and wholes. We then suggest, for natural kinds at least, a move away from modeling the relations between parts and wholes and advocate instead conc...
متن کاملMereological Semantics for Bio-Ontologies
Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic and a mereological order. Common examples such as the Gene Ontology and the Unified Medical Language System (UMLS) excel in terms of coverage but lack an adequate semantics of the mereological relations they incorporate. This shortcoming is particularly evident as far as the (non-)mandatory existence of...
متن کاملLexical Inheritance with Meronymic Relationships
In most computational ontologies, information inheritance is based on the taxonomic relation is_a. A given type inherits from other type only if the latter subsumes the former. We assume, however, that inheritance can be related, not only to the taxonomic relation, but also to the meronymic relationship between parts and wholes. The main aim of this paper is to organise upper-level ontologies a...
متن کاملPart-whole Relations: the Prospects of Mereotopology
This is a brief overview of formal theories concerned with the study of the notions of (and the relations between) parts and wholes. The guiding idea is that we can distinguish between a theory of parthood (mereology) and a theory of wholeness (holology, which is essentially afforded by topology), and the main question examined is how these two theories can be combined to obtain a unified theor...
متن کاملBasic Concepts of Formal Ontology
The term 'formal ontology' was first used by the philosopher Edmund Husserl in his Logical investigations to signify the study of those formal structures and relations above all relations of part and whole which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007